Merge branch 'gsk-public-symbols' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Sat, 11 Apr 2020 15:21:11 +0000 (15:21 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Sat, 11 Apr 2020 15:21:11 +0000 (15:21 +0000)
commite072d9b28b9d316cad613538bd795c35906ec337
treed31f8df03738b9fc3192438b116aca4524ecfe4f
parent9f5b04e65c5927a3791325d2742b00cabcca7edb
parentd08310096c623ae749eff587892b1524b93c5216
Merge branch 'gsk-public-symbols' into 'master'

Install all headers with public symbols

Closes #2607

See merge request GNOME/gtk!1666